Andrew Kennedy - PDFSEARCH.IO - Document Search Engine

Andrew Kennedy
Results: 246

#	Item
21	Types for Units-of-Measure in F# Andrew Kennedy Microsoft Research Cambridge NASA “Star Wars” experiment, 1983 Add to Reading List Source URL: research.microsoft.com - Date: 2010-07-30 11:25:32
22	Relational Parametricity and Units of Measure Andrew J. Kennedy In Proceedings of the 24th Annual ACM Symposium on Principles of Programming Languages, Paris, France, JanuaryThe following copyright notice is requi Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:26:28 Denotational semantics Physics Applied mathematics Orbifold Theoretical computer science Symbol Physical quantity
23	State of New York \| Executive Chamber Andrew M. Cuomo \| Governor For Immediate Release: March 25, 2013 GOVERNOR CUOMO AND LEGISLATIVE LEADERS DETAIL AGREEMENT Add to Reading List Source URL: www.nyscoss.org Language: English - Date: 2013-03-25 13:57:01 Susquehanna Valley Geography of Pennsylvania Pennsylvania New York Andrew Cuomo Kennedy family
24	Formalizing an Extensional Semantics for Units of Measure Andrew J. Kennedy Microsoft Research Cambridge Bugs caused by units-of-measure errors can have catastrophic Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 12:09:41 Philosophy of language Philosophy of mind Semantics Metaphilosophy Philosophy Logic Interpretation Model theory
25	Michael DeLuise Gov Cuomo Add to Reading List Source URL: portambrose.com Language: English - Date: 2015-02-02 12:44:52 Kennedy family Melville New York Ambrose Melville New York Christianity Andrew Cuomo
26	PDF Document Add to Reading List Source URL: www.aqeny.org Language: English - Date: 2014-12-02 14:22:37 Alternative education Andrew Cuomo Kennedy family Charter school Hedge fund Cuomo New York New York elections Financial economics
27	NEWS FROM NEW YORK FARM BUREAU Contact: Steve Ammerman, Manager of Public AffairsOffice), , For Immediate Release: October 22nd, 2013 Add to Reading List Source URL: nyfb.org Language: English - Date: 2013-10-25 11:19:47 Andrew Cuomo Kennedy family American Farm Bureau Federation Agriculture Cuomo Family farm United States New York New York elections Agricultural economics
28	GEOPHYSICAL RESEARCH LETTERS, VOL. 38, L08608, doi:2011GL047090, 2011 Origin of the Hurricane Ike forerunner surge Andrew B. Kennedy,1 Uriah Gravois,2 Brian C. Zachry,3,4 Joannes J. Westerink,1 Mark E. Hope,1 J. Add to Reading List Source URL: coast.nd.edu Language: English - Date: 2011-04-21 10:21:20 Hurricane Ike Bolivar Peninsula Texas Greater Houston Gulf of Mexico Storm surge Hurricane Gustav Tropical cyclone Galveston hurricane Landfall Meteorology Atmospheric sciences Weather
29	NEW YORK STATE COUNCIL OF SCHOOL SUPERINTENDENTS NEWS RELEASE 7 ELK STREET  ALBANY, NY Add to Reading List Source URL: www.nyscoss.org Language: English - Date: 2012-06-21 17:11:24 Superintendent New York Andrew Cuomo Kennedy family
30	On Decidability of Nominal Subtyping with Variance Andrew J. Kennedy Benjamin C. Pierce Microsoft Research Cambridge Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-12-22 07:18:48 Computing Computer programming Data types Polymorphism Subtype polymorphism Type system Bounded quantification Inheritance Covariance and contravariance Software engineering Object-oriented programming Type theory